xen: arm: correct platform detection in public header.
authorIan Campbell <ian.campbell@citrix.com>
Fri, 26 Apr 2013 10:58:46 +0000 (11:58 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 30 Apr 2013 10:44:02 +0000 (11:44 +0100)
commit6aaee4960d8a56aeab9d962ce554dff7f987e1fd
tree16865ea42c66387815801aaa5d8648562eeedc9b
parentdea0a7c81ea948567308d2a9f1f9ef51a94cefa9
xen: arm: correct platform detection in public header.

These headers cannot use the CONFIG_FOO defines provided when building Xen
(since they aren't provided when building tools or by external components) and
need to use the compiler provided architecture defines.

This manifested itself as a failure to build xenctx.c on ARM64 due to the
missing symbols contains .

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/include/public/arch-arm.h